is a superkey of is values for are sufficient to identify a unique tuple of each possible relation
is a condidate key is is minial superkey
is a primary key, if K is a candidate key and is defined by user explicitly
Foreign key Assume there exists relations and : , , we can say that attribute in relation is foreign key referencing , and is a referencing relation, and is a referenced relation.